More from this Author

Prolog

by David S. Warren (Editor), Veronica Dahl (Editor), Thomas Eiter (Editor), Manuel V. Hermenegildo (Editor), Robert Kowalski (Editor), Francesca Rossi (Editor)

Analysis and Visualization Tools for Constraint Programming

by Pierre Deransart (Editor), Manuel V. Hermenegildo (Editor), J. Maluszynski (Editor)

Logic-Based Program Synthesis and Transformation

by Manuel V. Hermenegildo (Editor), Pedro Lopez-Garcia (Editor)